By using SIAM Journals Online you agree to abide by the
Terms and Conditions of Use.

©  SIAM

 

SIAM Journal on Computing

Table of Contents
Volume 13, Issue 2, pp. 219-439

Please Note: Electronic articles are available well in advance of the printed articles.

What Article options are available ?   View Cart   

Two Tapes are Better than One for Nondeterministic Machines

Pavol Dúris and Zvi Galil

pp. 219-227

Computation of Matrix Chain Products. Part II

T. C. Hu and M. T. Shing

pp. 228-251

$N$ by $N$ Checkers is Exptime Complete

J. M. Robson

pp. 252-267

Parallel Solution of Certain Toeplitz Linear Systems

Dario Bini

pp. 268-276

Self-Organizing Heuristics for Implicit Data Structures

Greg N. Frederickson

pp. 277-291

Verification of Probabilistic Programs

Micha Sharir, Amir Pnueli, and Sergiu Hart

pp. 292-314

Constrained Optimum Communication Trees and Sensitivity Analysis

Sunita Agarwal, A. K. Mittal, and P. Sharma

pp. 315-328

Immunity, Relativizations, and Nondeterminism

Uwe Schöning and Ronald V. Book

pp. 329-337

Fast Algorithms for Finding Nearest Common Ancestors

Dov Harel and Robert Endre Tarjan

pp. 338-355

The Spectra of First-Order Sentences and Computational Complexity

Etienne Grandjean

pp. 356-373

Recursive Programs as Definitions in First-Order Logic

Robert Cartwright

pp. 374-408

Simulation of Parallel Random Access Machines by Circuits

Larry Stockmeyer and Uzi Vishkin

pp. 409-422

Constant Depth Reducibility

Ashok K. Chandra, Larry Stockmeyer, and Uzi Vishkin

pp. 423-439